Liveness Problem of Petri Nets Supervisory Control Theory for Discrete Event Systems
نویسندگان
چکیده
A quite great progress of the supervisory control theory for discrete event systems (DES) has been made in the past nearly twenty years, and now, automata, formal language and Petri nets become the main research tools. This paper focus on the Petri nets based supervisory control theory of DES. Firstly, we review the research results in this field, and claim that there generally exists a problem in Petri nets based supervisory control theory of DES, that is, the deadlock caused by the controller introduced to enforce the given specification occurs in the closed-loop systems, especially the deadlock occurs in the closed-loop system in which the original plant is live. Finally, a possible research direction is presented for the solution of this problem.
منابع مشابه
Time Management Approach on a Discrete Event Manufacturing System Modeled by Petri Net
Discrete event system, Supervisory control, Petri Net, Constraint This paper presents a method to manage the time in a manufacturing system for obtaining an optimized model. The system in this paper is modeled by the timed Petri net and the optimization is performed based on the structural properties of Petri nets. In a system there are some states which are called forbidden states an...
متن کاملOn Supervisory Policies that Enforce Liveness in Discrete Event Dynamic Systems Modeled by Partially Controlled Petri Nets
We consider discrete-state plants represented by Controlled Petri nets ((CtlPNs) cf. 3, 1, 2]). A transition in a CtlPN is live if for every marking reachable under supervision, there exists a valid ring sequence that results in a marking under which the said transition can re (cf. level 4 liveness, section 4.1.4, 5], 4]). A supervisory policy enforces liveness if every transition in the CtlPN ...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملOn a Minimally Restrictive Supervisory Policy that Enforces Liveness in Partially Controlled Free Choice Petri Nets
On supervisory policies that enforce liveness in completely controlled petri nets with directed cut-places and cut-transitions. On supervisory policies that enforce liveness in in a class of completely controlled petri nets obtained via reenement. Starting from the observation that the set of initial markings (N) for which there is a supervisory policy that enforces liveness in a partially cont...
متن کاملModeling of Continuous Systems Using Modified Petri Nets
Due to the changes which may occur in their parameters, systems are usually demonstrated by some subsystems for different conditions. This paper employs Modified Petri Nets (MPN) to model theses subsystems and makes it simple to analyze them. In this method, first, the continuous transfer function is converted to a discrete transfer function and then, by MPN, system is modeled and analyzed. All...
متن کامل